HN user

vitorsr

410 karma

$user@ufrn.edu.br

Posts47
Comments128
View on HN
fedoramagazine.org 1mo ago

Sandbox AI coding agents with microVMs on Fedora Linux

vitorsr
4pts0
www.acsac.org 1mo ago

Cross-Language Detection of Malicious Packages in npm and PyPI (2023) [pdf]

vitorsr
2pts1
learn.microsoft.com 6mo ago

Microsoft Open Specifications

vitorsr
2pts0
www.tcilaw.de 1y ago

Ora­cle v. Used­Soft (2015)

vitorsr
2pts1
asia.nikkei.com 1y ago

Kioxia unveils flash memory with 33% faster data transfers

vitorsr
3pts1
www.siam.org 1y ago

SIAM Report on Mathematics in Industry (2012) [pdf]

vitorsr
1pts0
www.nasa.gov 1y ago

NASA Software Engineering Procedural Requirements, Standards, Related Resources

vitorsr
3pts0
mathcomm.org 1y ago

MAA Mathematical Communication – Resources for Writing: Handouts & Links

vitorsr
3pts0
comlay.net 2y ago

IBM Jargon and General Computing Dictionary (1990) [pdf]

vitorsr
2pts0
spectrum.ieee.org 2y ago

The Technology of Text (2007)

vitorsr
2pts0
asia.nikkei.com 3y ago

Canon develops quantum dot OLED materials without rare metals

vitorsr
3pts0
asrank.caida.org 3y ago

AS Rank: A ranking of the largest Autonomous Systems (AS) in the Internet.

vitorsr
1pts0
fonts.google.com 3y ago

Google Fonts : Stats

vitorsr
4pts0
www.moma.org 3y ago

The Original Emoji by Shigetaka Kurita (1998-1999)

vitorsr
2pts0
github.com 3y ago

ossf/criticality_score: Gives criticality score for an open source project

vitorsr
1pts0
en.wikipedia.org 3y ago

History of Grandi's series

vitorsr
1pts0
myadcenter.google.com 3y ago

My Ad Center

vitorsr
1pts0
dl.acm.org 3y ago

A Survey on Bias and Fairness in Machine Learning

vitorsr
1pts1
www.bloomberg.com 3y ago

Software Sprawl: Workers Flit Between Apps 1,200 Times a Day

vitorsr
2pts0
signalprocessingsociety.org 3y ago

IEEE Signal Processing Society Unified Editors Information Classification Scheme

vitorsr
1pts0
www.nature.com 3y ago

Poor English skills? New AIs help researchers to write better

vitorsr
3pts1
www.sciencedirect.com 4y ago

Effects of multitasking on retention and topic interest (2016)

vitorsr
1pts0
ieeexplore.ieee.org 4y ago

The Changing Software Business: Moving from Products to Services (2008)

vitorsr
2pts1
www.fda.gov 4y ago

Transparency of Artificial Intelligence/Machine Learning-enabled Medical Devices

vitorsr
1pts0
quasar.as.utexas.edu 4y ago

Characterization of quack theories (1993)

vitorsr
1pts0
www.swmath.org 4y ago

Browse software by Mathematics Subject Classification (MSC 2010)

vitorsr
5pts0
www.bloomberg.com 4y ago

Netflix Plunges After Forecast for New Customers Disappoints

vitorsr
4pts1
planetmath.org 4y ago

PlanetMath subject index

vitorsr
1pts0
www.impan.pl 4y ago

Mathematical English Usage – A Dictionary [pdf]

vitorsr
3pts0
academic.oup.com 4y ago

Survey of users and nonusers of telehealth and their use of primary care (2019)

vitorsr
2pts1

There is also the possibility of using Toolbx (formerly [Fedora] Toolbox), distrobox or a container, and the underlying container's package manager. The issue then ends up being about how ergonomic it is to manage a separate guest system (and have to drop into it anytime we wish to use a binary that is unavailable in the host).

I am not sure it is recommending more than it is commenting on the current state of developing public-facing APIs in Python.

The downstream users that import the package either have to ignore checking its exported types altogether, manually stub it, or have a subpar development experience to varying degrees.

This is something I saw the other day with some package that provided comprehensive stubs for an untyped library. The .pyi file was littered with comments about quirks from the numerous type checkers (five now).

KDE at 30 2 months ago

I recently installed Fedora Kinoite [1] and I have been very pleasantly surprised by how stable and performant it is. I am afraid I cannot say the same for their new KDE Linux distribution [2] which in my opinion was a bit unpolished at the time. Both are immutable desktop distributions.

The good news, I guess, is Kinoite stands to benefit from KDE Linux development because it mostly depends on Flatpak to install programs which means all of the KDE ecosystem will eventually be available at Flathub [3] as first-class citizens with reasonable maturity.

[1] https://fedoraproject.org/atomic-desktops/kinoite/

[2] https://linux.kde.org/

[3] https://flathub.org/en/apps/collection/developer/KDE/1

A few words on DS4 2 months ago

Tasks are taken from commit histories in public Git repositories which defeats the purpose.

Seems very promising but then you realize the LLM behind said agent was trained on public but otherwise copyright encumbered proprietary code available as improperly redistributed SDKs and DDKs, as well as source code leaks and friends.

In fact most Windows binaries have public debug symbols available which makes SRE not exactly a hurdle and an agent-driven SRE not exactly a tabula rasa reimplementation.

Nice although I think the ASCII comma feels wrong as part of a filename even if for purely aesthetic reasons.

If we want to stay within (lowercase) alphabetic Latin characters I think prefixing with the least common letters or bigrams that start a word (x, q, y, z, j) is best.

`y' for instance only autocompletes to `yes' and `ypdomainname' on my path.

Choosing a unique bigram is actually quite easy and a fun exercise.

And we can always use uppercase Latin letters since commands very rarely use never mind start with those.

Thanks for all impressive work on AdGuard.

Any particular reason to adopt Rust for this project instead of Go as many of your other products?

Because I think since you have quite extensive Go codebase I would imagine you had to rewrite possibly a significant amount of code.

Debian testing is about as stable as it gets while also being a rolling distribution. The promotion of package updates from unstable to testing does not take that long either depending on the severity. I would venture a guess that there is more to it.

Out of those, only Morisawa's BIZ UD, Sandoll's IBM Plex and Adobe's Noto families are of outstanding quality.

Motoya is also a reputable foundry. FONTDASU also, I guess. And Google's Zen.

But those are all text faces! The only display families are a few freebies from Fontworks which do not cover a lot of design range.

So, yes, hardly 2000.

Telefonica does this.

Until I switched, it would only peer with other Tier 1 providers 2000 mi away from my location, even though there is a large IX 5 mi from home co-located with a large regional ISP with several other networks and appliances connected to it.

I filed a complaint but it is impossible to escape the event horizon of the customer service black hole, and customer protection regulation agents fail to appreciate how clownish it is to have 100 ms ping to my university 5 mi away.

So I switched and recommended everyone within earshot to do so as well.

To this day I fail to understand the logic behind not peering locally.

Typst has made some basic choices, which as someone who typsets a lot of math, makes it a no go.

For me, breaking from not just a 40-year-old history of mathematical typesetting but also from the American Mathematical Society recommendations is the dagger. Plus doubling work if you want to reuse what you wrote to render MathJax or KaTeX.

$\alpha x$ is correct and $\alpha\beta$ is correct, but $\alphax$ is not.

Like you said, braces can be used so all of the following are valid: ${\alpha}x$, $\alpha{x}$ or the odd $\alpha{}x$.

This comment does not present the full picture.

First, it presents the snapshot of donations within a given year to the Foundation. The history of donations is not represented by definition.

Second, it does not present contributed development. Those are typically summarily available on the release notes of each release [1].

[1] https://www.freebsd.org/releases/

you can configure it to automatically archive every page you visit

What?? I am a heavy user of the Internet Archive services, not just the Wayback Machine, including official and "unofficial" clients and endpoints, and I had absolutely no idea the extension could do this.

To bulk archive I would manually do it via the web interface or batch automate it. The limitations of manually doing it one by one are obvious, and the limitations of doing it in batches requires, well, keeping batches (lists).