Lightnews — Scholar-powered news

Daniel Nikpayuk @nikpayuk.bsky.social · 22m

P.S. this is currently the internal representation for tuple types within my compile time type system (proof assistant).

An inflection point is coming once I finish tuple: cotuple is nearly identical; then comes list type---much faster because I can use both tuple and cotuple. Hooray!

Daniel Nikpayuk @nikpayuk.bsky.social · 22m

[cctmp]

By the way, this is currently my feedback [see image].

At first it was actually just numbers with no bar or comma separators, but the design is starting to stabilize enough now I'm willing to commit to this basic formatting. Once it stabilizes further, I'll create prettier printers, ahah.

A screenshot of gcc and clang compile and run times as well as internal representation output testing a project function that declares tuple types.

1

Daniel Nikpayuk @nikpayuk.bsky.social · 2h

[cctmp]

Finally implemented the "declare type" method for my tuple type.

I still have to implement "declare value, define value" but the way it's looking this current design really is it. It keeps things modular, but related things stay close, and the algorithm logic is natural and readable. Yay!

Reposted by Daniel Nikpayuk

Snacko Racko @snackoracko.bsky.social · 3d

Remember it is important to not only take care of yourself but your plushies too!

60 3.1K 8.6K

Reposted by Daniel Nikpayuk

Robson Fletcher @robsonfletcher.com · 6h

For those keeping track...

"Alberta Strong and Free": United Conservative Party

"Canada Strong and Free Network": New name for what used to be known as the Manning Centre

"Strong and Free": Alberta's new licence plates

"Truly Strong and Free": Republican Party of Alberta

Republican Party of Alberta banner image

27 110 170

Reposted by Daniel Nikpayuk

The Beaverton @thebeaverton.com · 5h

New horror movie somehow not a metaphor for trauma

BRANDON, MB - Scary movie enthusiasts are stunned after discovering that a recent popular horror film is in no way an allegory for grief, PTSD, or intergenerational trauma.

www.thebeaverton.com

1 15 76

Daniel Nikpayuk @nikpayuk.bsky.social · 5h

I walked around a lot during the 5 weeks I was in Iqaluit.

I would see many Inuit, I was happy to see them, but I did notice over time just how unnaturally thin so many of them were. It was heartbreaking.

www.aptnnews.ca/featured/foo...

Food-security expert: Nunavut in ‘worst hunger crisis’ she’s seen

Food-security researcher says Nunavut gripped by ‘worst hunger crisis’ she’s seen, from Iqaluit to communities in the Western Arctic

www.aptnnews.ca

1 4

Reposted by Daniel Nikpayuk

The Narwhal @thenarwhal.ca · 10h

New analysis of Prime Minister Mark Carney’s first 100 days after the federal election show oil and gas, mining and other industrial groups made up about 60 per cent of lobbying records. Environmental groups couldn’t get a word in. thenarwhal.ca/carney-natur...

Carney welcomed industry lobby, ignored environmental groups: records | The Narwhal

Records show resource industry lobbyists had regular access to Prime Minister Mark Carney in his first 100 days, while environmental groups were shut out

thenarwhal.ca

27 170 250

Reposted by Daniel Nikpayuk

Dr. Kat Napaaqtuk❄️ @napaaqtuk.bsky.social · 10h

This may explain the low chum Salmon runs we've had the last couple of years. "The team’s analyses show the Salmon River is chock-full of metals—including aluminum, cadmium, copper, iron, nickel & zinc—at concentrations above the U.S. Environmental Protection Agency’s safe limits for aquatic life."

Proceedings of the National Academy of Sciences @pnas.org · 2d

Alaska’s once-clear Salmon River has turned orange and toxic, linked to sulfide mineral weathering from thawing permafrost. The study suggests metal pollution may be contributing to salmon declines.

In Smithsonian Magazine: https://ow.ly/4ShQ50Xb9x2

In PNAS: https://ow.ly/Ii3E50Xb9w4

The Salmon River in northwest Alaska.
Image credit: Ray Koleser

2 18 25

Reposted by Daniel Nikpayuk

Mehdi Hasan @mehdirhasan.bsky.social · 10h

Remember the first few months of this year, when all we talked about was DOGE and spending cuts and waste, and this administration gutted USAID?

And now they’re giving $40 billion (!) to Argentina.

Insane the amount of amnesia in this country and in our politics and media.

140 1.1K 4K

Reposted by Daniel Nikpayuk

jaydo @jaydocovid.bsky.social · 1d

UCLA’s Long Covid clinic director explains that Covid is not a lung issue but “vascular and neurologic infection.”

A Duke cardiologist shares “we see people have symptoms from almost head to toe.”

People don’t care, they don’t want to hear it.

www.heart.org/en/news/2024...

Beyond breathing: How COVID-19 affects your heart, brain and other organs

The "head-to-toe" effects of COVID-19 infection mean you still need to be cautious, experts say.

www.heart.org

1 39 88

Reposted by Daniel Nikpayuk

Dr. Kat Napaaqtuk❄️ @napaaqtuk.bsky.social · 13h

Updates on the aftermath of the storm:

Every house was declared unlivable in 2 villages and every person has been evacuated. www.facebook.com/100064792086...

Photos of the evacuations:
www.facebook.com/100064354677...

They had to leave their dogs :(
www.facebook.com/100022277944...

4 31 40

Reposted by Daniel Nikpayuk

David Ho @davidho.bsky.social · 15h

“The forecast for the powerful and deadly storm that battered small communities in western Alaska over the weekend was likely made worse by a lack of weather data triggered by the Trump administration’s cuts.”

Lack of weather data due to Trump’s budget cuts impacted forecast for deadly Alaska storm | CNN

The forecast for the powerful and deadly storm that battered small communities in western Alaska over the weekend was likely made worse by a lack of weather data triggered by the Trump administration’...

edition.cnn.com

8 290 600

Reposted by Daniel Nikpayuk

Dr. Kat Napaaqtuk❄️ @napaaqtuk.bsky.social · 12h

"Consequently, the Indigenous data sovereignty movement formed to protect collective interests in data governance and ensure that benefits derived from data are directed back to Indigenous peoples"

Heck yeah! @joseph-yracheta.bsky.social @kstsosie.bsky.social

Stephen Turner @stephenturner.us · 13h

A Tribal data repository to advance Indigenous health and sovereignty www.nature.com/articles/s41... (read free: rdcu.be/eLiqc)

1 17 43

Reposted by Daniel Nikpayuk

Robson Fletcher @robsonfletcher.com · 1d

Smith in 2014: The plan to change the motto on Alberta's licence plate is a politically motivated distraction.

Smith in 2025: Here's a plan to change the motto on Alberta's licence plate.

Smith Not Impressed With New Plates "Political Agenda"

Written by Brent Manke Monday, Jul 14 2014, 12:00 AM

The three choices for Alberta's new license plate, plus what we have now. The Opposition Wildrose party is up in arms over the removal of the "Wild Rose Country" slogan from the bottom of the plates, calling it politically motivated.

Highwood MLA Danielle Smith is no fan of Alberta's proposed new license plates.

She supports the new reflective paint job, but not changing the slogan at the bottom from "Wild Rose Country."

She says it's more PC political nonsense.

"All of a sudden this comes out in the middle of the summer, in the middle of a leadership race, taking off the Wild Rose slogan. It's clearly political. People have seen through it. They are outraged and responding in massive numbers. We have a poll going with six thousand respondents so far, most of which, about 70-percent who say keep the Wild Rose slogan."

She says the province would have been better off asking us if we wanted to change the plates in the first place, as well as if we wanted to change the slogan, before moving ahead on their own.

13 65 130

Daniel Nikpayuk @nikpayuk.bsky.social · 16h

Next time I get an influx of followers, I'll do my best to promote someone other than myself.

Right now that's the minimum criteria for my current cull. To be fair there's a lot of folk who have to hustle just to survive, so I don't blame them for that, but I gotta set my own boundaries too.

Daniel Nikpayuk @nikpayuk.bsky.social · 17h

In other news:

www.youtube.com/watch?v=phLc...

Alicia Moffet - Lay Your Light (Lyrics)

YouTube video by Vivo Lyrics

www.youtube.com

Daniel Nikpayuk @nikpayuk.bsky.social · 17h

bsky.app/starter-pack...

1 1

Reposted by Daniel Nikpayuk

Sascha Stronach🏳️‍⚧️, The Sunforge out now @understatesmen.bsky.social · 18h

I keep seeing people annoyed they're on this because they didn't request to be. Two notes:

1) if you're not a big name or somebody I know personally, you're on there because you requested it. That's how most people got on there.
2) if you want off, tell me. There's limited space and others want in.

Sascha Stronach🏳️‍⚧️, The Sunforge out now @understatesmen.bsky.social · 23h

You wanna follow some cool trans writers? I gotcha.

go.bsky.app/VaypaqC

4 4 26

Daniel Nikpayuk @nikpayuk.bsky.social · 18h

night purging my follower list (soft blocking was the option at the time). I didn't automate it, but I'm OCD so I automated it at my level for hours and then I got a notice from Twitter asking if I was a bot, ahah.

Too many interactions now. I'll have to cull tomorrow. Would tonight, tired.

2/2

Daniel Nikpayuk @nikpayuk.bsky.social · 18h

As an introvert and for no other reason I now regret following a starter pack of people.

Back in the day when twitter wasn't completely evil, I reached a point of over 10,000 followers and that milestone changed my interactions. I couldn't keep up with new notifications, so I spent an entire

1/2

1

Daniel Nikpayuk @nikpayuk.bsky.social · 18h

Same.

That's why I shared the link with you and all others I now read asking to know. I find clearsky app is also reasonably good at keeping track of those things though sometimes there's a delay.

1 2

Reposted by Daniel Nikpayuk

Bogi Takács / SONG OF SPORES coming Nov 2025! @bogiperson.bsky.social · 20h

A lot of you seem to be here through the trans writers starter pack, so I'm also sharing my starter pack of intersex people and organizations!

go.bsky.app/PNBDETu

1 16 22

Daniel Nikpayuk @nikpayuk.bsky.social · 19h

bsky.app/starter-pack...

1 2

Daniel Nikpayuk @nikpayuk.bsky.social · 19h

Followed a pack of folk.

I need to get out there, listen to perspectives I'm unfamiliar with. Helps me grow. Still, I'm pretty sure I'll unfollow some folk after a bit of time. That's no disrespect to them, I seek balanced growth, and not everyone is compatible with current me. Thank you.

1 4