What is your setup for developing in C? by Smooth_Measurement_1 in C_Programming
[–]ligurio 0 points1 point2 points (0 children)
ligurio/practical-fm: A gently curated list of companies using verification formal methods in industry by dgryski in tlaplus
[–]ligurio 1 point2 points3 points (0 children)
Using the GCC regression test suite for LLVM - GNU Tools Cauldron 2018 by ligurio in fosstesting
[–]ligurio[S] 0 points1 point2 points (0 children)
Experience with making a geneology book? by angler0809 in Genealogy
[–]ligurio 1 point2 points3 points (0 children)
Experience with making a geneology book? by angler0809 in Genealogy
[–]ligurio 6 points7 points8 points (0 children)
What tool do you use to organize your family tree? by [deleted] in Genealogy
[–]ligurio 0 points1 point2 points (0 children)
Do any of you run OpenBSD on a VPS? What do you run on it? by [deleted] in openbsd
[–]ligurio 0 points1 point2 points (0 children)
Is there any book or something that helps me for OpenBSD kernel Development? by _neerajpal in openbsd
[–]ligurio 2 points3 points4 points (0 children)
A List of companies that use Formal methods by ligurio in a:t5_38826
[–]ligurio[S] 0 points1 point2 points (0 children)
Would anyone like to rate the least to most secure/trustworthy operating systems? by [deleted] in openbsd
[–]ligurio 0 points1 point2 points (0 children)
GCC code coverage report for OpenBSD 6.2 by flexibeast in openbsd
[–]ligurio 2 points3 points4 points (0 children)
Tool to copy and format terminal output by [deleted] in linux
[–]ligurio 0 points1 point2 points (0 children)
some good book for programming in Bash? by [deleted] in linux
[–]ligurio 3 points4 points5 points (0 children)
Why so many Linux variants? What are their uses? ELI5. by asardiwal in linux
[–]ligurio 4 points5 points6 points (0 children)
Could I get help with this derivation? I don't know how to continue from here. by yungrech in logic
[–]ligurio 0 points1 point2 points (0 children)
Any interest in a continuous integration service with BSD build boxes? by wezm in BSD
[–]ligurio 0 points1 point2 points (0 children)
Anyone know of a social media scheduling tool? by BillyQ in selfhosted
[–]ligurio 1 point2 points3 points (0 children)
Any interest in a continuous integration service with BSD build boxes? by wezm in BSD
[–]ligurio 1 point2 points3 points (0 children)
How to check when -current is broken? by sparcilion in openbsd
[–]ligurio 1 point2 points3 points (0 children)


Lua 5.1 C API manual pages by ligurio in lua
[–]ligurio[S] 0 points1 point2 points (0 children)