Fosstodon

NerdNextDoor :Blobhaj:Just switched to <a href="https://mastodon.social/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a> with <a href="https://mastodon.social/tags/Git" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Git</a> on my <a href="https://mastodon.social/tags/Gentoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Gentoo</a> system.Much faster!<a href="https://wiki.gentoo.org/wiki/Portage_with_Git" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://wiki.gentoo.org/wiki/Portage_with_Git</a><a href="https://mastodon.social/tags/Linux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Linux</a> <a href="https://mastodon.social/tags/GentooLinux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GentooLinux</a> <a href="https://mastodon.social/tags/Tech" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Tech</a> <a href="https://mastodon.social/tags/Technology" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Technology</a>

Andreas GroisI'm still struggling with understanding this issue when building <a href="https://mastodon.gamedev.place/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a>: <a href="https://github.com/leanprover/lean4/issues/6434" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://github.com/leanprover/lean4/issues/6434</a>My biggest problem is that I cannot reproduce it outside of <a href="https://mastodon.gamedev.place/tags/Gentoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Gentoo</a>'s <a href="https://mastodon.gamedev.place/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a>, so I cannot help the Lean devs narrow it down...I've already tried stupid things like building inside a very long path, but just running cmake and make works all the time, while building through portage needs both, larger thread stacks and a higher `ulimit -s` for the main thread...

Mike Elston<a href="https://www.mlive.com/news/kalamazoo/2025/01/3m-construction-project-planned-for-major-portage-street-this-summer.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.mlive.com/news/kalamazoo/2025/01/3m-construction-project-planned-for-major-portage-street-this-summer.html</a> <a href="https://kzoo.to/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a> <a href="https://kzoo.to/tags/kalamazoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kalamazoo</a>

🆘Bill Cole 🇺🇦There's pervasive <a href="https://toad.social/tags/racism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#racism</a> in most of rural America in part because so many racists fled cities and close suburbs as they became more integrated, starting ~50 years ago. Ending formal housing and educational discrimination had the perverse side-effect of concentrating the most virulent racists in places close enough to commute to a town which is more integrated than Klanners can tolerate. And Klanners sure do breed... <a href="https://toad.social/tags/michigan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#michigan</a> <a href="https://toad.social/tags/portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#portage</a> <a href="https://toad.social/tags/kalamazoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kalamazoo</a> <a href="https://kzoo.to/@notsle/113688362109419567" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://kzoo.to/@notsle/113688362109419567</a>

Mike ElstonThis is sick... We live in Michigan, in 2024. These kids did not just become racist, it is learned behavior. <a href="https://www.metrotimes.com/news/go-pick-cotton-black-children-relentlessly-harassed-at-michigan-middle-school-lawsuit-claims-38128365" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.metrotimes.com/news/go-pick-cotton-black-children-relentlessly-harassed-at-michigan-middle-school-lawsuit-claims-38128365</a><a href="https://kzoo.to/tags/michigan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#michigan</a> <a href="https://kzoo.to/tags/racism" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#racism</a> <a href="https://kzoo.to/tags/portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#portage</a> <a href="https://kzoo.to/tags/kalamazoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kalamazoo</a>

Anne DelongFor <a href="https://musician.social/tags/footpathfriday" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#footpathfriday</a> here's the Crab Lake portage in Kawartha Highlands Provincial Park.<a href="https://musician.social/tags/portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#portage</a> <a href="https://musician.social/tags/canoeing" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#canoeing</a> <a href="https://musician.social/tags/forest" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#forest</a> <a href="https://musician.social/tags/park" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#park</a> <a href="https://musician.social/tags/Ontario" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Ontario</a> <a href="https://musician.social/tags/delong" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#delong</a>

Andreas Grois<a href="https://mastodon.gamedev.place/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a> got an external dependency (cadical) in version 4.12, and the build scripts are trying to be smart about it...The intended behaviour seems to be that the dependency is used if it is already installed, and downloaded, built and installed if not.However, due to <a href="https://mastodon.gamedev.place/tags/Gentoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Gentoo</a>'s <a href="https://mastodon.gamedev.place/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a> trying to install into a temporary folder first, the detection if cadical should be installed fails, creating a file collision between the lean and the cadical package...Not hard to fix, but annoying...

Scott Ellis<a href="https://social.treehouse.systems/@mgorny" class="u-url mention" rel="nofollow noopener noreferrer" target="_blank">@mgorny</a> I mean, come for the ricing, stay for the fact that USE flags are just the killer feature. Not pulling in a bazillion dependencies and bloat and security holes for things I will never need is fantastic.Plus ebuilds are pretty straightforward for things not already packaged, although to be fair AUR isn't that hard for those either.<a href="https://mastodon.social/tags/gentoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#gentoo</a> <a href="https://mastodon.social/tags/archlinux" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#archlinux</a> <a href="https://mastodon.social/tags/portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#portage</a>

Mike ElstonRANK MI VOTE Portage Town Hall: A Better Ballot for Michigan <a href="https://secure.everyaction.com/L4hmfSbOUEKC4th67ZHgRQ2" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://secure.everyaction.com/L4hmfSbOUEKC4th67ZHgRQ2</a><a href="https://kzoo.to/tags/rankmivote" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#rankmivote</a> <a href="https://kzoo.to/tags/RankChoiceVoting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RankChoiceVoting</a> <a href="https://kzoo.to/tags/michigan" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#michigan</a> <a href="https://kzoo.to/tags/kalamazoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kalamazoo</a> <a href="https://kzoo.to/tags/portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#portage</a>

EAS Watcher<a href="https://m.ai6yr.org/tags/EAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#EAS</a> <a href="https://m.ai6yr.org/tags/WEA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WEA</a> for Geauga, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Summit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Summit</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>: Flash Flood Warning issued August 8 at 9:18PM EDT until August 9 at 1:30AM EDT by NWS Cleveland OH Source: NWS Cleveland OH <a href="https://m.ai6yr.org/tags/Geauga" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Geauga</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Summit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Summit</a>, <a href="https://m.ai6yr.org/tags/OHwx" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OHwx</a>** DO NOT RELY ON THIS FEED FOR LIFE SAFETY, SEEK OUT OFFICIAL SOURCES ***

EAS Watcher<a href="https://m.ai6yr.org/tags/EAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#EAS</a> <a href="https://m.ai6yr.org/tags/WEA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WEA</a> for Geauga, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Summit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Summit</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>: National Weather Service: A FLASH <a href="https://m.ai6yr.org/tags/FLOOD" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FLOOD</a> WARNING is in effect for this area until 1:30 AM EDT. This is a dangerous and life-threatening situation. Do not attempt to travel unless you are fleeing an area subject to flooding or under an evacuation order. Source: NWS Cleveland OH <a href="https://m.ai6yr.org/tags/Geauga" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Geauga</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Summit" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Summit</a>, <a href="https://m.ai6yr.org/tags/OHwx" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OHwx</a>** DO NOT RELY ON THIS FEED FOR LIFE SAFETY, SEEK OUT OFFICIAL SOURCES ***

EAS Watcher<a href="https://m.ai6yr.org/tags/EAS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#EAS</a> <a href="https://m.ai6yr.org/tags/WEA" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WEA</a> for Geauga, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>: National Weather Service: <a href="https://m.ai6yr.org/tags/TORNADO" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#TORNADO</a> WARNING in this area until 5:15 PM EDT. Take shelter now in a basement or an interior room on the lowest floor of a sturdy building. If you are outdoors, in a mobile home, or in a vehicle, move to the closest substantial shelter and protect yourself from flying debris. Check media. Source: NWS Cleveland OH <a href="https://m.ai6yr.org/tags/Geauga" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Geauga</a>, <a href="https://m.ai6yr.org/tags/OH" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OH</a>; <a href="https://m.ai6yr.org/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a>, <a href="https://m.ai6yr.org/tags/OHwx" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#OHwx</a>** DO NOT RELY ON THIS FEED FOR LIFE SAFETY, SEEK OUT OFFICIAL SOURCES ***

Mike ElstonAnyone in <a href="https://kzoo.to/tags/kalamazoo" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#kalamazoo</a> / <a href="https://kzoo.to/tags/Portage" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Portage</a> want some free wood chips? I have more than I need.

Recent searches

Search options

Administered by:

Server stats:

#portage