#minix — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #minix, aggregated by home.social.
-
Tyson Liddell at #minix mail list posted that have recently been exploring MINIX 1.1 and put together a dev environment containing the MINIX source code and a vendored-in 8086/8088 cross-compiler (dev86/Bruce's C Compiler). Available at https://codeberg.org/tlid/minix
-
Hello everyone, I made some updates to ManpageViewer, fixed some bugs, implemented interface improvements, now it's easier to read the manpages, and the search system has also been improved. As you can see, I also adopted another name. I also expanded the scope, with the creation of "Custom Manpages," I can add the manpages of a specific software.
#man #manpages #FreeBSD #MINIX #NetBSD #OpenBSD #UNIX #pkgsrc #DataBase
-
Hello everyone, I made some updates to ManpageViewer, fixed some bugs, implemented interface improvements, now it's easier to read the manpages, and the search system has also been improved. As you can see, I also adopted another name. I also expanded the scope, with the creation of "Custom Manpages," I can add the manpages of a specific software.
#man #manpages #FreeBSD #MINIX #NetBSD #OpenBSD #UNIX #pkgsrc #DataBase
-
Hello everyone, I made some updates to ManpageViewer, fixed some bugs, implemented interface improvements, now it's easier to read the manpages, and the search system has also been improved. As you can see, I also adopted another name. I also expanded the scope, with the creation of "Custom Manpages," I can add the manpages of a specific software.
#man #manpages #FreeBSD #MINIX #NetBSD #OpenBSD #UNIX #pkgsrc #DataBase
-
Hello everyone, I made some updates to ManpageViewer, fixed some bugs, implemented interface improvements, now it's easier to read the manpages, and the search system has also been improved. As you can see, I also adopted another name. I also expanded the scope, with the creation of "Custom Manpages," I can add the manpages of a specific software.
#man #manpages #FreeBSD #MINIX #NetBSD #OpenBSD #UNIX #pkgsrc #DataBase
-
@kkarhan @f4grx @projectanchorage Idea! Use the #Minix kernel for Echium.
It's old but still modern, not updated since 2018 (according to master branch of Minix on GitHub), doesn't have AI slop, looks fun to hack on, it's BSD-like and a descendant of #UNIX. It's perfect because it compiles. We also continue Minix!
Might copy the src to the Echium #Codeberg repo, push, modify, strip and get others on. I'm open to peeps asking to join too given they're against genAI.
-
IMHO #linux bisa seperti saat ini bukan karena diawali ingin menjadi sesuatu yang ideal tetapi justru karena pragmatisme.
Pd saat itu desain #microkernel #minix yg tdk monolithic dianggap sebagai mimpi indah idealisme sebuah #kernel. Tetapi Torvalds dan yang lain melihat banyak hal sangat ribet untuk diimpelmentasikan menggunakan desain microkernel, sehingga mereka memilih pragmatis.
Hingga lahir dan terus berkembanglah linux yang tidak ideal tapi bisa berevolusi menjadi seperti sekarang.
-
se (screen-editor) – a screen oriented version of the classic UNIX text editor ed. It’s similar to vi as both are modal editors with curses interfaces. However, it differs from vi in that it has the same command syntax as ed. https://archiveapp.org/se/ #texteditor #linux #bsd #haiku #minix #solarisd #unix
-
MINIX EU928-AI is an upcoming mini PC with an Intel Core Ultra 9 285H processor, dual 2.5 GbE LAN ports, quad display support, Thunderbolt 4, WiFi 7, DDR5-5600 memory and PCIe 4.0 NVMe storage. Coming in March with pricing TBA. https://androidtvbox.eu/minix-eu928-ai-core-ultra-9-285h-mini-pc/ #MINIXEU928AI #MiniPC #MINIX #IntelArrowLake
-
MINIX EU928-AI is an upcoming mini PC with an Intel Core Ultra 9 285H processor, dual 2.5 GbE LAN ports, quad display support, Thunderbolt 4, WiFi 7, DDR5-5600 memory and PCIe 4.0 NVMe storage. Coming in March with pricing TBA. https://androidtvbox.eu/minix-eu928-ai-core-ultra-9-285h-mini-pc/ #MINIXEU928AI #MiniPC #MINIX #IntelArrowLake
-
MINIX EU928-AI is an upcoming mini PC with an Intel Core Ultra 9 285H processor, dual 2.5 GbE LAN ports, quad display support, Thunderbolt 4, WiFi 7, DDR5-5600 memory and PCIe 4.0 NVMe storage. Coming in March with pricing TBA. https://androidtvbox.eu/minix-eu928-ai-core-ultra-9-285h-mini-pc/ #MINIXEU928AI #MiniPC #MINIX #IntelArrowLake
-
MINIX EU928-AI is an upcoming mini PC with an Intel Core Ultra 9 285H processor, dual 2.5 GbE LAN ports, quad display support, Thunderbolt 4, WiFi 7, DDR5-5600 memory and PCIe 4.0 NVMe storage. Coming in March with pricing TBA. https://androidtvbox.eu/minix-eu928-ai-core-ultra-9-285h-mini-pc/ #MINIXEU928AI #MiniPC #MINIX #IntelArrowLake
-
MINIX EU928-AI is an upcoming mini PC with an Intel Core Ultra 9 285H processor, dual 2.5 GbE LAN ports, quad display support, Thunderbolt 4, WiFi 7, DDR5-5600 memory and PCIe 4.0 NVMe storage. Coming in March with pricing TBA. https://androidtvbox.eu/minix-eu928-ai-core-ultra-9-285h-mini-pc/ #MINIXEU928AI #MiniPC #MINIX #IntelArrowLake
-
Minix EU715-AI : le MiniPC Core Ultra 7-155H 32Go en baisse
Les Minix Elite EU715-AI et EU512-AI emploient des puces Intel Core Ultra 7 et Ultra 5 dans un boitier très complet..
https://www.minimachines.net/?p=133538 #minix -
Minix NR774 : un Ryzen 7 8745HS 32Go / 1 To à 569€
Le Minix NR774 est un MiniPC assez classique d'aspect qui propose un processeur AMD Ryzen 7 8745HS "Hawk Point" aux excellentes performances..
https://www.minimachines.net/?p=136487 #minix -
Modula-2, UCSD P-System, and the birth of Scala
I stumbled across this tidbit from Hacker News.
I never liked that #Borland stuffs. And used to program in #Pascal in #UCSD P-system (my alma mater). When I got to the US Department of Defense they wanted me for my #C and #COBOL skills and then they sent me to an Air Force School where I studied Modula-2 and Ada.
I did a lot of work in Modula-2, which doesn't exist anymore. Modula-3 does, but in the meantime Scala was in the works. #Ada is still actually a thing. We didn't want clever, like those one liner #Perl challenges that folks use to put in their signature lines to demonstrate how clever they thought they were through obfuscation.
Clever is bad. Clever opens up a whole universe of unexpected behavior and potential vulnerabilities. Maybe that's why #Rust became so organically popular - because it's safe by design and nowadays it's included in the Linux kernel more and more.
When you're designing software for missle guidance systems you most certainly do not want clever. The job is simple and ambiguity is potentially catastrophic in warfare.
Anyway, I really enjoyed this interview, I can identify with the #Timex_Sinclair - my dad bought me one and that membrane keyboard was horrendous, but I was persistent and eventually I was writing code in cutting edge languages on mainframes and #Vaxen.
Many of the stories about how one thing or another came about were through frustrations; like the impetus for #Linus the #Linux kernel coz #MINIX just didn't cut it, and who wants to trodge through snow drifts in #Helsinki to the computer lab when you can be warm and cozy, drinking beers in your dorm room?
This story is kinda like that too, which I can really appreciate, even though I've never played with #Scala.
I hope you enjoy it too.
https://www.artima.com/articles/the-origins-of-scala
#tallship #FOSS #Modula_2 #Modula_3
⛵
-
Modula-2, UCSD P-System, and the birth of Scala
I stumbled across this tidbit from Hacker News.
I never liked that #Borland stuffs. And used to program in #Pascal in #UCSD P-system (my alma mater). When I got to the US Department of Defense they wanted me for my #C and #COBOL skills and then they sent me to an Air Force School where I studied Modula-2 and Ada.
I did a lot of work in Modula-2, which doesn't exist anymore. Modula-3 does, but in the meantime Scala was in the works. #Ada is still actually a thing. We didn't want clever, like those one liner #Perl challenges that folks use to put in their signature lines to demonstrate how clever they thought they were through obfuscation.
Clever is bad. Clever opens up a whole universe of unexpected behavior and potential vulnerabilities. Maybe that's why #Rust became so organically popular - because it's safe by design and nowadays it's included in the Linux kernel more and more.
When you're designing software for missle guidance systems you most certainly do not want clever. The job is simple and ambiguity is potentially catastrophic in warfare.
Anyway, I really enjoyed this interview, I can identify with the #Timex_Sinclair - my dad bought me one and that membrane keyboard was horrendous, but I was persistent and eventually I was writing code in cutting edge languages on mainframes and #Vaxen.
Many of the stories about how one thing or another came about were through frustrations; like the impetus for #Linus the #Linux kernel coz #MINIX just didn't cut it, and who wants to trodge through snow drifts in #Helsinki to the computer lab when you can be warm and cozy, drinking beers in your dorm room?
This story is kinda like that too, which I can really appreciate, even though I've never played with #Scala.
I hope you enjoy it too.
https://www.artima.com/articles/the-origins-of-scala
#tallship #FOSS #Modula_2 #Modula_3
⛵
-
Modula-2, UCSD P-System, and the birth of Scala
I stumbled across this tidbit from Hacker News.
I never liked that #Borland stuffs. And used to program in #Pascal in #UCSD P-system (my alma mater). When I got to the US Department of Defense they wanted me for my #C and #COBOL skills and then they sent me to an Air Force School where I studied Modula-2 and Ada.
I did a lot of work in Modula-2, which doesn't exist anymore. Modula-3 does, but in the meantime Scala was in the works. #Ada is still actually a thing. We didn't want clever, like those one liner #Perl challenges that folks use to put in their signature lines to demonstrate how clever they thought they were through obfuscation.
Clever is bad. Clever opens up a whole universe of unexpected behavior and potential vulnerabilities. Maybe that's why #Rust became so organically popular - because it's safe by design and nowadays it's included in the Linux kernel more and more.
When you're designing software for missle guidance systems you most certainly do not want clever. The job is simple and ambiguity is potentially catastrophic in warfare.
Anyway, I really enjoyed this interview, I can identify with the #Timex_Sinclair - my dad bought me one and that membrane keyboard was horrendous, but I was persistent and eventually I was writing code in cutting edge languages on mainframes and #Vaxen.
Many of the stories about how one thing or another came about were through frustrations; like the impetus for #Linus the #Linux kernel coz #MINIX just didn't cut it, and who wants to trodge through snow drifts in #Helsinki to the computer lab when you can be warm and cozy, drinking beers in your dorm room?
This story is kinda like that too, which I can really appreciate, even though I've never played with #Scala.
I hope you enjoy it too.
https://www.artima.com/articles/the-origins-of-scala
#tallship #FOSS #Modula_2 #Modula_3
⛵
-
🎂️ Happy birthday to Linus Torvalds 👨💻️
🗣️ He announced Linux 🐧️ in 1991 on the newsgroup comp.os.minix with this message: 📰️
💻️ "I'm doing a (free) operating system (just a hobby, won't be big and professional like GNU) for 386(486) AT clones." 👇️
https://groups.google.com/g/comp.os.minix/c/dlNtH7RRrGA/m/SwRavCzVE7gJ?hl=en
#Linux #LinusTorvalds #NewsGroup #Minix #Free #OperatingSystem #OS #Hobby #GNU #Wednesday
-
OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.
Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86
-
-
OKC Blue drop 116-110 loss to Austin Spurs https://www.rawchili.com/nba/442366/ #Antonio #Basketball #City #Dariq #DariqWhitehead #g #League #minix #NBA #NbaGLeague #Neutral #News #Oklahoma #OklahomaCity #OklahomaCityThunder #OklahomaCity #OklahomaCityThunder #Overall #OverallNeutral #riley #RileyMinix #San #SanAntonioSpurs #Scores #Sport #SportScoresU0026Statistics #Sports #SportsNews #spurs #Stanley #StanleyUmude #Statistics #Thunder #u0026 #Umude #Whitehead
-
MINIX launches ER936-AI and ER937-AI AMD Strix Point mini PCs for $789 and up
The MINIX ER936-AI and ER937-AI are a set of compact desktop computers with AMD Strix Point processors that combine Zen 5 CPU cores with RDNA 3.5 graphics and a 50 TOPS NPU.
First unveiled during Computex in June, the mini PCs are now available for pre-order and they’re expected to begin shipping in early September. Prices start at $769 for an ER936-AI with a Ryzen AI 9 HX 365 processor or […]
#miniPc #minix #minixEr936 #minixEr936Ai #minixEr937 #minixEr937Ai #strixPoint
Read more: https://liliputing.com/minix-launches-er936-ai-and-er937-ai-amd-strix-point-mini-pcs-for-789-and-up/
-
MINIX introduces two AMD Strix Point mini PCs: ER936-AI and ER937-AI
MINIX has been selling mini PCs and Android TV boxes for more than a decade – they first showed up on my radar as one of the first companies making Android-powered TV sticks. More recently, the company has made some distinctive fanless mini PCs with Intel Alder Lake chips.
But MINIX also showed off some higher-performance mini PCs at the Computex show in Taiwan in May, including two models […]
#miniPc #minix #minixEr936Ai #minixEr937Ai #strixPoint
Read more: https://liliputing.com/minix-introduces-two-amd-strix-point-mini-pcs-er936-ai-and-er937-ai/
-
Is #ELKS (8086 linux) still a thing? Would the #book8088 be a good machine for it?
I suspect the #XTCF BIOS wants a DOS4 style partition table so i dunno if the old 8086 UNIXes (#coherent, #xenix, #minix) would cooperate.
Then there's the whole issue of installing such a thing on a machine that doesn't support floppy drives... 😝
-
MINIX: History, Architecture, and Comparisons with GNU/Linux
MINIX is a Unix-like operating system that holds a unique place in the history of operating systems, especially for its role in shaping the development of modern open-source operating systems like Linux. Created by computer science professor Andrew S. Tanenbaum in the mid-1980s.
Read More: https://machaddr.substack.com/p/minix-history-architecture-and-comparisons
#MINIX #Linux #OS #operating #Systems #OpenSource #Technology #Computer #Science #MicroKernel #Monolithic
-
MINIX N512 : Le MiniPC Core i5-12600H à partir de 369€ 📉
Le Minix N512 change des classiques de la marque qui, depuis plus de dix ans, ne propose que des minimachines entrées de gamme..
https://www.minimachines.net/?p=132576 #minix -
MINIX ER939-AI, un nouveau MiniPC sous Ryzen AI Max+ 395
Le MINIX ER939-AI reprend la recette du processeur AMD Strix Halo dans un boitier relativement compact..
https://www.minimachines.net/?p=136693 #minix -
MINIX ER939-AI is a compact AI workstation with Ryzen AI Max+ 395
Ten months after AMD introduced its Ryzen AI Max “Strix Halo” mobile processors, most of the computers to actually use the chips have… not been all that mobile. While we’ve seen a handful of Strix Halo laptops and tablets, the vast majority of systems have been mini PCs.
And now it looks like another is on the way. The upcoming MINIX ER939-AI is an upcoming computer with an AMD Ryzen AI […]
#er939 #miniPc #minix #minixEr939Ai #strixHalo
Read more: https://liliputing.com/minix-er939-ai-is-a-compact-ai-workstation-with-ryzen-ai-max-395/
-
Minix Z97 : Le MiniPC Intel N97 en promo à 179.99€
Le Minix Z97 semble quelque peu anachronique en 2025. Équipé d'un processeur Intel N97, il est difficile à justifier..
https://www.minimachines.net/?p=133491 #minix -
Minix NR774 : un MiniPC Ryzen 7 8745HS très bien équipé
Le Minix NR774 est un MiniPC assez classique d'aspect qui propose un processeur AMD Ryzen 7 8745HS "Hawk Point" aux excellentes performances..
https://www.minimachines.net/?p=136487 #minix -
MINIX Neo Z300-0dB : le Core i3-N300 fanless à 329€
Le MINIX Neo Z300-dB reprend les grandes lignes de son prédécesseur sous Intel N100 mais bascule sur le plus haut de gamme des Alder Lake-N..
https://www.minimachines.net/?p=129699 #minix -
Minix Elite EU715-AI : le MiniPC Meteor Lake-H baisse de prix
Les Minix Elite EU715-AI et EU512-AI emploient des puces Intel Core Ultra 7 et Ultra 5 dans un boitier très complet..
https://www.minimachines.net/?p=133538 #minix -
On August 25th 1991, 21-year-old Torvalds posted a message to a #Minix mailing list “I'm doing a free OS (just a hobby, won't be big and professional like GNU)”
Now Linux powers 96.3% of the top one million servers, #NASA research, public service systems from India to Türkiye, and makes instant observability possibility with tools like #eBPF.
The future is #FOSS, thank you for being a part of it!
#Linux #freesoftware #softwarelibre #opensource #observability #kubernetes #space #IT #tech
-
Die neuen Mini-PCs von #MINIX sind da. Erfahrt jetzt mehr zum ER937-AI & ER936-AI mit neuesten AMD Ryzen AI 9-Prozessoren und starker Performance für KI-Aufgaben, Gaming und Co. (Anzeige) https://winfutu.re/minixpc?utm_source=Mastodon&utm_medium=ManualStatus&utm_campaign=SocialMedia
-
OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.
Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86
-
OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.
Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86
-
OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.
Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86
-
OK, so, my Anatolix REALLY needs help! Without your help in development I will never finish creating kernel. If kernel will not be done before July 1 2025, I will close my projects.
Plz contribute.
Link to AnatolixOS: https://codeberg.org/GNUAn/Anatolix#osdev #development #project #freesoftware #freelibresoftware #is #Unix #kernel #microkernel #exokernel #help #contribute #codeberg #low-level #git #disco #ineedhelp #osdevelopment #operatingsystem #minix #Linux #Gnu #gnulinux #computers #computer #x86
