Readit News logoReadit News
gz09 commented on Dafny: Verification-Aware Programming Language   dafny.org/... · Posted by u/handfuloflight
dionian · 3 days ago
Reminds me of Eiffel, in a good way. Looks awesome. Is there anything close to this in Scala by chance?
gz09 · 3 days ago
It's similar in spirit, but in Dafny one can express much more complicated and complex invariants which get checked at build time -- compared to eiffel where pre/post conditions are checked at runtime (in dev builds mostly).
gz09 commented on Pricing Changes for GitHub Actions   resources.github.com/acti... · Posted by u/kevin-david
naikrovek · 3 days ago
Copilot uses other models, not (necessarily?) its own, so I’m not sure what you mean.
gz09 · 3 days ago
It does leverage various models, but

- github copilot PR reviews are subpar compared to what I've seen from other services: at least for our PRs they tend to be mostly an (expensive) grammar/spell-check

- given that it's github native you'd wish for a good integration with the platform but then when your org is behind a (github) IP whitelist things seem to break often

- network firewall for the agent doesn't seem to work properly

raised tickets for all these but given how well it works when it does, I might as well just migrate to another service

gz09 commented on Pricing Changes for GitHub Actions   resources.github.com/acti... · Posted by u/kevin-david
awestroke · 3 days ago
They still host all artefacts and logs for these self-hosted runs. Probably costs them a fair bit
gz09 · 3 days ago
They already charge for this separately (at least storage). Some compute cost may be justified but you'd wish that this change would come with some commitment of fixing bugs (many open for years) in their CI platform -- as opposed to investing all their resources in a (mostly inferior) LLM agent (copilot).
gz09 commented on     · Posted by u/mrideout
gz09 · 2 months ago
Probably there are good reasons for this (like avoiding chicken-egg/bootstrapping issues, circular dependencies etc.)
gz09 commented on Ask HN: Who is hiring? (October 2025)    · Posted by u/whoishiring
gz09 · 3 months ago
Feldera (https://feldera.com | REMOTE (US) | Full-Time

RELIABILITY AND PERFORMANCE ENGINEER: https://jobs.ashbyhq.com/feldera/709c14e4-1fa9-46b4-9ff8-078...

  - Strong background in systems engineering, performance testing, or site reliability engineering.
  - Fluency in Python and Linux fundamentals. Rust experience is a plus.
  - Experience with distributed systems and database concepts (consistency, fault tolerance, transactions).
  - Experience with CI/CD/Infrastructure as Code: GitHub Actions, Docker, Kubernetes.
  - Hands-on experience running large-scale and long-running workloads, preferably in a cloud-native environment.
  - Curiosity, rigor, and the ability to design experiments that simulate messy real-world conditions.
SOLUTION ENGINEER: https://jobs.ashbyhq.com/feldera/544aff74-263f-4749-a4d0-af0...

  - 5+ years experience in solution architect, customer engineering or solution engineering roles.
  - Strong background in distributed systems, databases, cloud infrastructure, and modern data platforms.
  - Experience with data-intensive systems in production (e.g., Kafka, Delta Lake, Iceberg, Kubernetes, monitoring/observability stacks).
  - Exceptional debugging and problem-solving skills, especially in customer-facing contexts.
  - Excellent communication skills, both for customer-facing and internal interactions.
  - Ability to write and maintain high-quality technical docs and playbooks.
https://jobs.ashbyhq.com/feldera

Feel free to email with your resume gz @ domain, put HN in subject.

gz09 commented on Using Podman, Compose and BuildKit   emersion.fr/blog/2025/usi... · Posted by u/LaSombra
gz09 · 4 months ago
Unfortunately, it's quite a big mess (as the article indicates), which leads to a steep learning curve for someone who "just wants to build some images".

And that's just half of it. Want to build an image on two native architectures (ARM64 and AMD64) and then make a multi-arch image out of them. Might blow someones mind on how complicated that is with 2025 docker technologies: https://docs.docker.com/build/ci/github-actions/multi-platfo...

u/gz09

KarmaCake day239December 4, 2013View Original