jayp1418

21 ms·

241.
NetBSD Tips and Tricks(students.engr.scu.edu)
2 points by jayp1418 6y ago|0 comments
242.
by jayp1418 6y ago
Interesting project : https://github.com/jrmarino/draco
243.
by jayp1418 6y ago
BTW this satellite was launched yesterday coded in ada : https://blog.adacore.com/using-ada-for-a-spanish-satellite-p...
244.
Introduction to Ada(learn.adacore.com)
206 points by jayp1418 6y ago|184 comments
245.
Running Wine in a 32-bit sandbox on 64-bit NetBSD(washbear.neocities.org)
1 points by jayp1418 6y ago|0 comments
246.
Ada Gnat Ecosystem Community Survey(docs.google.com)
4 points by jayp1418 6y ago|2 comments
247.
by jayp1418 6y ago
Videos link : https://m.youtube.com/channel/UC7-CyoYfsrVI-dsuHRQx0IQ
248.
CS631: Advanced Programming in the Unix Environment – NetBSD(stevens.netmeister.org)
3 points by jayp1418 6y ago|2 comments
249.
by jayp1418 6y ago
Is this being developed? How similar this is to ada ?
250.
GSoC 2020: Report-2: Fuzzing the NetBSD Network Stack in a Rumpkernel Env(blog.netbsd.org)
3 points by jayp1418 6y ago|0 comments
251.
by jayp1418 6y ago
Jitsi too
252.
Libreswan: Teaching old code new tricks [pdf](bsdcan.org)
1 points by jayp1418 6y ago|0 comments
253.
What the Heck Is a NetBSD?(netbsd.org)
2 points by jayp1418 6y ago|0 comments
254.
by jayp1418 6y ago
Script link : https://github.com/joyent/pkgsrc/commit/a040b8962acbab10bdb8...
255.
Rewrote script in Awk reducing runtime of script down frm 8 mins to under 4 secs(mobile.twitter.com)
4 points by jayp1418 6y ago|1 comments
256.
An Introduction to Formal Verification for Software Systems(moritz.systems)
3 points by jayp1418 6y ago|0 comments
257.
by jayp1418 6y ago
I think presentation got one thing wrong. npf (NetBSD's pf) is not coded on based on OpenBSD's pf.
258.
Speed Up Pkgsrc on Retrocomputers(hackaday.io)
4 points by jayp1418 6y ago|0 comments
259.
by jayp1418 6y ago
Well they are trying to reach FOSS community. Recently they started survey asking community "Hello here, we (AdaCore) have some plan for the future of GNAT Community that we want to share and have your opinion on: https://fo
260.
NetBSD/Macppc Quickstart(mail-index.netbsd.org)
1 points by jayp1418 6y ago|0 comments
261.
by jayp1418 6y ago
I think ada can be good contender for C replacement
262.
GSoC Reports: Benchmarking NetBSD, second evaluation report(blog.netbsd.org)
1 points by jayp1418 6y ago|0 comments
263.
NetBSD i386 and amd64 testbeds now use NVMM(mail-index.netbsd.org)
1 points by jayp1418 6y ago|0 comments
264.
Make Postfix Trigger Blacklistd on Failed Authentication on NetBSD(imil.net)
1 points by jayp1418 6y ago|0 comments
265.
NetBSD on the NanoPi NEO2(cambus.net)
19 points by jayp1418 6y ago|0 comments
266.
GSoC NetBSD Reports: Fuzzing Rumpkernel Syscalls, Part 2(blog.netbsd.org)
1 points by jayp1418 6y ago|0 comments
267.
GSoC Reports: Enhancing Syzkaller Support for NetBSD, Part 2(blog.netbsd.org)
1 points by jayp1418 6y ago|0 comments
268.
The GNU GDB Debugger and NetBSD (Part 3)(blog.netbsd.org)
1 points by jayp1418 6y ago|0 comments
269.
by jayp1418 6y ago
https://www.abc.net.au/doublej/featured-music/feature-albums...
270.
Ask HN: What is your recommended image viewer in PKGSRC repository?
2 points by jayp1418 6y ago|0 comments

More ›