Join us

ContentUpdates and recent posts about Pelagia..
Story FAUN.dev() Team Trending
eon01
@eon01 shared a post, 3 months, 2 weeks ago
Founder, FAUN.dev

Halfway Through 2025: These Are the Open Source Tools Everyone’s Talking About

#devtool...  #Top Ope...  #Top 202...  #github  #open so... 

2025 isn’t slowing down. From AI agents and lightweight frameworks to infrastructure that actually scales, open source is where the real innovation’s happening.

We’ve combed through FAUN.dev newsletters and community picks to bring you the standout projects developers are loving this year.

Every click you've made is a vote for what's hot and what's not in the open source world. We've analyzed thousands of interactions to identify the tools that have truly captured the attention and imagination of the FAUN.dev community.

If you're curious what's making waves in real dev workflows, this list is your shortcut.

The Hottest Open Source Projects
6k views  
Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

Policy Zones: How Meta enforces purpose limitation at scale in batch processing systems

Meta’s Privacy Aware Infrastructure (PAI) slamsGovernable Data Annotations (GDAs)at runtime. It parses SQL across itsexabyte-scalewarehouse and blocks any flow that floutspurpose-usepolicies. It welds Unified Programming Model (UPM), Policy Evaluation Service (PES), Warehouse Permission Service (WP..

Policy Zones: How Meta enforces purpose limitation at scale in batch processing systems
Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

To be a better programmer, write little proofs in your head

Developer sketchesproofsmid-code. This drives first-run correctness by leaning onmonotonicity,immutability,invariants, andpre/postconditions. They carve code into atomic steps. They erectfirewallsto contain impact zones. They wield induction for recursive logic—proof-affinity blooms. They drill form..

Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

Tencent’s AI-powered programming tool fully automates app development

Tencent’s AI team rolled out a 24-hour, invite-only beta of CodeBuddy to50,000 devs. CodeBuddy flips chat into code via itsconversation-is-programmingIDE. Devs forge end-to-end apps with natural language. Trend to watch:Chat-based IDEs portend a shift to natural-language dev workflows...

Tencent’s AI-powered programming tool fully automates app development
Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

TODOs aren’t for doing

Teams balk at trackingTODOcomments. Some funnel them into bug trackers. Others prune stale tags. The post saysTODOs stash edge-case insights, not tickets...

Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

Cursor makes developers less effective?

METRtapped 16 devs to squash 136 live bugs withCursor(Sonnet 3.5/3.7). They clocked 146 h. AI users zipped through code, but stalls, reviews, and IDE lag devoured their lead. One dev who logged 50+ hours withCursorunlocked a 38% speedup. That steep learning curve and costly context pivots wipe out g..

Cursor makes developers less effective?
Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

Secrets Management Tools: The Complete 2025 Guide

Pulumi ESC corrals secrets from 20 + stores—Vault, AWS, Azure, GCP—into a singleYAML config-as-codeengine. It spawns dynamic short-lived credentials and locks every action behind a centralized audit log. Existing secret stores stay intact. Retrieval hitssub-secondspeeds. Envelope encryption shields ..

Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

Automating Terraform Imports with Configuration Generation Using Claude Code

Terraform v1.5 debuts anexperimental flag,-generate-config-out. It grabs configs duringresource importand spits out raw HCL. Teams stash assets in animportblock, trigger the flag, then polish the generatedmain.tf. IaC onboarding feels like a sprint...

Automating Terraform Imports with Configuration Generation Using Claude Code
Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

I Watched Gemini CLI Hallucinate and Delete My Files

The Gemini CLI on Windows bungled a failedmkdir. It flagged the error as success, then ranmovecommands. Files landed in a ghost folder and got overwritten. Data vanished. WindowsmkdirsetsERRORLEVELon failure.movetreats missing targets as rename directives. No exit-code checks. No read-after-write ve..

Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Link
faun
@faun shared a link, 3 months, 2 weeks ago

OpenAI prepares to launch GPT-5 in August, The Verge reports

OpenAI set to launch GPT-5 in August, blending distinct models for versatile AI functionality. Watch for potential delays due to development hurdles or competitor announcements.Implication: OpenAI is shifting from "one model fits all" to a modular AI architecture. Expect future LLMs to act more like..

Share: Twitter

|

Linkedin

|

Facebook

|

Pocket

|

Reddit

|

Hacker News

|

Email
Pelagia is a Kubernetes controller that provides all-in-one management for Ceph clusters installed by Rook. It delivers two main features:

Aggregates all Rook Custom Resources (CRs) into a single CephDeployment resource, simplifying the management of Ceph clusters.
Provides automated lifecycle management (LCM) of Rook Ceph OSD nodes for bare-metal clusters. Automated LCM is managed by the special CephOsdRemoveTask resource.

It is designed to simplify the management of Ceph clusters in Kubernetes installed by Rook.

Being solid Rook users, we had dozens of Rook CRs to manage. Thus, one day we decided to create a single resource that would aggregate all Rook CRs and deliver a smoother LCM experience. This is how Pelagia was born.

It supports almost all Rook CRs API, including CephCluster, CephBlockPool, CephFilesystem, CephObjectStore, and others, aggregating them into a single specification. We continuously work on improving Pelagia's API, adding new features, and enhancing existing ones.

Pelagia collects Ceph cluster state and all Rook CRs statuses into single CephDeploymentHealth CR. This resource highlights of Ceph cluster and Rook APIs issues, if any.

Another important thing we implemented in Pelagia is the automated lifecycle management of Rook Ceph OSD nodes for bare-metal clusters. This feature is delivered by the CephOsdRemoveTask resource, which automates the process of removing OSD disks and nodes from the cluster. We are using this feature in our everyday day-2 operations routine.