ligurio

6 ms·

1.
Lua 5.5.0 Now Available(groups.google.com)
5 points by ligurio 9mo ago|1 comments
2.
Fuzzing as the basis for effective development a case study of LuaJIT [video](youtube.com)
2 points by ligurio 10mo ago|0 comments
3.
by ligurio 3y ago
There is an ofxstatement for converting proprietary bank statement to OFX format. https://github.com/kedder/ofxstatement
4.
by ligurio 3y ago
See other chess in text mode - https://github.com/ligurio/awesome-ttygames
5.
by ligurio 3y ago
Cirrus CI had an attempt to make CI-agnostic tool for running Dockerized tasks, see [1]. (I'm not affiliated wtih Cirrus CI) 1. https://cirrus-ci.org/blog/2020/10/07/cirrus-cli-ci-agnostic...
6.
by ligurio 3y ago
I appreciate the effort here, but in the proposed workflow are missed steps with subscribing to a mailing list. Without proper subscriptions and confirming subscription, your mails with patches will go to trash.
7.
by ligurio 3y ago
> Configuring git send-email is trivial, definitively faster than creating an account at some web UI from a "source forge" <snipped>. You forgot that mailing list requires subscription and in some cases it could be a tric
8.
by ligurio 3y ago
> I wish they were catalogued somewhere, like an "awesome list". Sure, they are listed here https://github.com/ligurio/awesome-openbsd#portable-openbsd-...
9.
by ligurio 3y ago
I've collected the most popular methods for speeding up compilation and testing in https://github.com/ligurio/sqa-wiki/wiki/speedup-your-ci
10.
Show HN: Command-line front end to transactional consistency checkers(github.com)
1 points by ligurio 5y ago|0 comments
11.
SQL Static Analysis(holistic.dev)
2 points by ligurio 6y ago|0 comments
12.
Fuzzing ClickHouse with SQLancer(clickhouse.tech)
5 points by ligurio 6y ago|1 comments
13.
by ligurio 6y ago
Software companies widely uses TLA+ https://github.com/ligurio/practical-fm
14.
A list of companies that use formal verification methods(github.com)
2 points by ligurio 6y ago|0 comments
15.
What can software authors do to help package their software?(lobste.rs)
1 points by ligurio 7y ago|0 comments
16.
Support of OpenBSD's pledge(2) and unveil(2) in programming languages(gist.github.com)
1 points by ligurio 7y ago|0 comments
17.
List of free software testing and verification resources(github.com)
3 points by ligurio 9y ago|1 comments
18.
Linux container migration around the world(rhelblog.redhat.com)
1 points by ligurio 9y ago|0 comments
19.
Top 100 of the most broken apps on Ubuntu(errors.ubuntu.com)
3 points by ligurio 10y ago|0 comments
20.
Planet OpenBSD(bronevichok.ru)
2 points by ligurio 10y ago|0 comments
21.
The list of old-school ASCII Unix games(bronevichok.ru)
3 points by ligurio 10y ago|0 comments
22.
Rocket Launched from the Baltic Sea, Tracked via Amateur Radio(arrl.org)
1 points by ligurio 10y ago|0 comments
23.
by ligurio 10y ago
Actually, OpenVZ based on RHEL7 (3.10+) kernel is available. https://lists.openvz.org/pipermail/announce/2016-July/000664...
24.
OpenVZ 7.0 released(lists.openvz.org)
2 points by ligurio 10y ago|0 comments
25.
by ligurio 10y ago
Really? OpenVZ still has some advantages to compare with other virtualization solutions https://openvz.org/Comparison
26.
by ligurio 10y ago
The main scenario is live migration of containers. We have live migration feature in OpenVZ since 2005. But it was always in-kernel implementation of checkpointing Linux processes ( https://openvz.org/Checkpointing_internals
27.
CVE-2016-6213 was reported three years ago by OpenVZ developer(bugzilla.redhat.com)
43 points by ligurio 10y ago|14 comments
28.
Quality in open source: testing CRIU(lwn.net)
49 points by ligurio 10y ago|9 comments
29.
Support of OpenBSD pledge(2) in programming languages(gist.github.com)
5 points by ligurio 10y ago|1 comments
30.
Testing of the ScyllaDB(reddit.com)
2 points by ligurio 11y ago|0 comments

More ›