Even Meta's Oversight Board thinks its rules for banning accounts are baffling
The group has "due process concerns" over how the company handles account bans.
找到 1665 篇相关文章
The group has "due process concerns" over how the company handles account bans.
A homeschooling center in Manhattan is part of the company’s nationwide expansion. Internal documents reveal its strategy: “Opening date > safety.”
Bilingual post · Post bilíngue Jump to: English · Português English {#english} Navigating the Reorganized CrabPascal Docs Phase 1 of this blog series covered fundamentals — CLI, lexer, sprints, and how to contribute. If you read Contributing to CrabPascal: Get Involved , you already know where the repo lives and how to open a PR. Phase 2 is different: we walk the Mintlify documentation site the way a new teammate would, mapping each article to the pages you actually need in daily work. The live docs live at crabpascal.mintlify.app . The source is under mintlify/ in the Bitbucket repo. Think of Mintlify as the canonical handbook; Dev.to posts are the guided tour. Why the docs were reorganized CrabPascal grew from a v1.5 experimental interpreter (October 2025) to v2.22.0 with sprint-driven releases, Horse E2E tests, and honest build-exe . Old folders like documentation/00-INICIO/ still exist in git history, but Mintlify groups content by job to be done : You want to… Start here Install and run Quickstart See current capabilities Project status Understand architecture Architecture Follow releases Changelog Historical reports from v1.5–v2.8 remain under Histórico with archive banners — useful for context, not for "what works today." The home page is your compass Open the Mintlify index . It shows v2.22.0 at a glance: real diagnostic spans, System.* RTL, Unicode strings, dual-mode run/build, and Horse HTTP parity. Four cards link to quickstart, changelog, sprint roadmap, and technical-debt backlog. Essential CLI commands are listed once: crab-pascal check programa.dpr # diagnostics with line/column crab-pascal run programa.dpr # interpreter / runtime crab-pascal build-exe programa.dpr # native binary via C toolchain Bookmark this page. When someone asks "is feature X done?", check status + changelog before diving into Rust sources. The documentation map: question-driven navigation The page essentials/documentation-map is the "I want X, go to Y" cheat sheet. It answers sc
I built 24 browser-based tools. Here is the complete technical guide for building your own and selling PRO licenses on Gumroad. Architecture: One HTML File + GitHub Pages + Gumroad No frameworks, no backend, no monthly costs. One HTML file on GitHub Pages. Gumroad handles payments. The PRO Flow User hits free limit → PRO modal Buy button → Gumroad popup ( window.open , NOT target=_blank ) Payment → Gumroad postMessage with license key message listener catches key Key verified via Gumroad API ( /v2/licenses/verify ) localStorage saves PRO (in try-catch!) Gotchas From 24 Tools postMessage security: Check d.success && d.purchase , never just d.license_key . I had this bug in 17 files. localStorage: Wrap in try-catch . Uncaught throws crash the whole page. CDN scripts: Always <script defer> . Without it, slow CDN blocks rendering. Gumroad publish: curl returns false every time. Use PowerShell. Buy button: Popup connects the page to Gumroad. Redirect breaks postMessage . Packed 5 templates with everything pre-configured: Browser Tools Starter Kit ($19)
I once spent nearly a week trying to fix a web scraper that, on paper, had absolutely no reason to fail. The target website wasn't using aggressive, visible defense walls. My script spaced out requests naturally, rotated common user agents, and used browser automation configured to mimic human interactions down to mouse movements. Yet, the results were an absolute nightmare. Some batches of requests would go through cleanly, while others immediately triggered CAPTCHAs or returned 403 Forbidden errors. Every single time I thought I had patched the logic, the failure rate climbed right back up. Like most developers, my default instinct was to assume the application layer was broken. I went down a rabbit hole optimization sprint checking request headers, browser fingerprints, cookies, and session persistence. Nothing explained the wild inconsistency until I noticed a strange clue: some proxy pools performed beautifully, while others crashed on the exact same codebase. The code wasn’t the issue. The culprit was a fundamental misunderstanding of proxy network architecture. Looking Beyond the IP Address: Enter the ASN For a long time, I treated proxies as interchangeable commodities. An IP address was just an IP address, and if one got blocked, you simply rotated to the next. Modern anti-bot solutions like Cloudflare, Akamai, and PerimeterX don't look at IPs in a vacuum. They analyze network layer characteristics, specifically the ASN (Autonomous System Number). An ASN is a unique identifier assigned to a network operator that defines who owns and routes an IP range. When your scraper hits a website, the target's security system looks up your ASN to check your network identity. If your traffic originates from a commercial hosting provider or data center ASN, it carries an automatic penalty score for sensitive endpoints. To build reliable systems, you have to move past basic rotation and understand the two core proxy frameworks that mask this identity: ISP Proxies and Resi
Quantinuum, a quantum computing startup, is losing millions. Investors want in anyway.
my friend just told me about this and i had to share it immediately cursor is giving students 12 months of pro completely free. no credit card. just verify your .edu email and that’s it you get full access to gpt, claude, gemini… all the models. for a whole year. for free. that’s $240 you just keep in your pocket while everyone else is paying $20 a month wondering why their bank account looks sad takes like 2 minutes. go to cursor.com/students, throw in your .edu, pass the verification, done and if you graduated already, you probably know someone still in college who has no idea this exists. do them a favour link in the comments. seriously just go do it right now submitted by /u/NewMuffin3926 [link] [留言]
Got the gguf quantized version running about two hours after release and I genuinely wasn't expecting this from a 12b model. The multimodal stuff actually works, fed it screenshots of my codebase and it parsed the architecture better than most 70b models I've tested. The 256k context window is real and it doesn't fall apart at the edges like llama models do past 32k. Loaded a full repo into context, it tracked references across the whole thing. Single 3090 with q4 quantization runs at about 15 tokens per second which is totally usable for dev work. What gets me is the size range. The 12b sits in this sweet spot where you get strong reasoning without needing multi gpu. Tried the e4b on my laptop with 16gb ram, slower but functional. Already swapped it into my local coding pipeline. The function calling support means I can wire it into my toolchain without the janky workarounds I had before. Native audio input on the 12b is something I haven't touched yet but the implications for voice driven workflows are kind of insane. submitted by /u/Sharkkkk2 [link] [留言]
When people say a database is "ACID-compliant" or "eventually consistent," they are making promises about what happens when things go wrong — concurrent writes, crashes, network failures. ACID and BASE are the two vocabularies for those promises, and knowing the difference tells you what you can and cannot rely on. What ACID guarantees ACID is the contract that traditional transactional databases — PostgreSQL, MySQL/InnoDB, Oracle, SQLite — make about a transaction (a group of operations treated as one unit). The four letters: Atomicity : the whole transaction succeeds or none of it does. If a bank transfer debits one account but the credit fails, the debit is rolled back. There is no half-done state. Consistency : a committed transaction moves the database from one valid state to another, never violating its declared rules (constraints, foreign keys, types). It will not let you, say, leave a foreign key pointing at a row that does not exist. Isolation : concurrent transactions do not step on each other. The result is as if they ran one at a time, even when they actually ran in parallel. (In practice databases offer tunable isolation levels — from "read committed" to "serializable" — trading strictness for speed.) Durability : once the database says "committed," that data survives a crash or power loss. It has been written somewhere persistent, not just held in memory. The payoff is that you can reason about your data simply: after a successful commit, the world is exactly what you asked for. The cost is coordination, which gets expensive when data is spread across many machines. What BASE trades away BASE is the model many distributed and NoSQL systems adopt — think Cassandra, DynamoDB, or Riak — when they need to scale across many nodes and stay up through failures. The acronym is deliberately a chemistry pun on ACID, and it stands for: Basically Available : the system answers requests even during partial failures, possibly with stale or incomplete data rather tha
Most people picture Git as a tool that records changes — a stack of diffs layered on top of each other. That mental model is wrong, and it makes Git feel mysterious. Git is really a small key-value database that stores snapshots, and once you see the four object types it uses, commands like reset , checkout , and rebase stop being magic. Git is a content-addressed object store Everything Git tracks lives in .git/objects as an object, and every object has an ID that is the hash of its own content. By default that hash is a 40-character SHA-1 digest (newer Git supports SHA-256). The same bytes always produce the same ID, so the ID is the content's address — change one byte and you get a completely different object. This is why Git data is effectively immutable: you never edit an object in place, you create a new one with a new name. You can look inside any object with git cat-file . The -t flag prints the type, -p pretty-prints the content: $ git cat-file -t 3b18e512 blob $ git cat-file -p 3b18e512 hello world There are exactly four object types: blob , tree , commit , and tag . A blob is just file contents — raw bytes, with no filename and no metadata. The blob for README.md knows nothing about being named README.md ; it only knows what's inside. A tree is a directory listing. It maps names to other objects: each entry has a mode (like a file vs. an executable vs. a subdirectory), a name, and the hash of either a blob (a file) or another tree (a subdirectory). Trees are how Git represents folder structure. Inspecting one shows exactly that: $ git cat-file -p HEAD^ { tree } 100644 blob a906cb... README.md 040000 tree fe8e3b... src A commit ties it together. A commit object points to exactly one top-level tree (the full state of your project at that moment), plus the hash of its parent commit (or parents, for a merge), the author and committer with timestamps, and the commit message. Running git cat-file -p HEAD shows these fields in plain text. Because each commit nam
I’ve noticed that Gemini often feels very agreeable in some conversations. Even when I ask for an objective opinion, it sometimes seems to validate my assumptions first instead of directly challenging them. For example, when I ask whether my reasoning is flawed, it tends to respond with something like “That’s a valid concern” or “You’re making a good point” before giving criticism, which makes the criticism feel softened or less direct. I’m curious whether this is something that can be meaningfully improved with prompts, such as asking the model to be more critical, or whether sycophancy is mostly a model/personality alignment issue. And I wonder if there are differences between Gemini, ChatGPT, Claude, etc. when it comes to disagreement or objective criticism. submitted by /u/StomachNo7859 [link] [留言]
I've been reading Boom by Byrne Hobart and Tobias Huber (Ben Thompson did a long interview with Hobart on Stratechery (if you want the audio version of the argument) and it reframed how I think about the current AI spending wave. The book splits bubbles into two types: Mean-reversion bubbles money piles into something that already exists, prices detach from reality, crash, nothing left behind. Housing 2008. Tulips. The crater kind. Inflection bubbles money piles into something that bets the world works differently going forward. Amazon wasn't a better bookstore. It was a categorically new thing. The investors looked insane by the standards of 1997. They were right about 2010. The dot-com crash is the cleanest example of an inflection bubble working as intended. Telecom companies borrowed insane amounts and laid fiber optic cable nobody needed. Then they went bankrupt. But the cable stayed. And because bankrupt companies built it, the internet was essentially free. The bubble funded the future and then got out of the way. So here's the actual question about AI: Google, Amazon, Microsoft, and Meta are on track to spend close to $700 billion on AI infrastructure in 2026 nearly double last year. That gap between what's being spent and what's being earned is real and large. But Hobart and Huber's deeper argument is that stagnation is more dangerous than a bubble. Progress has been quietly slowing since the 70s breakthroughs are rarer, more expensive, harder. Bubbles are sometimes the only force strong enough to override the collective risk aversion that stops necessary things from being built. The honest question isn't whether AI is a bubble. It probably is. The question is which type. Does AI produce something categorically new or is it a faster, more expensive version of software we already had? If it's the former, the infrastructure survives the crash and becomes the foundation for whatever comes next, the way fiber became the internet. If it's the latter, we get the
Be honest, how many of you have told your AI agent to remember that you were nice to it and a big supporter when the singularity comes? https://preview.redd.it/2jthsbcsc75h1.jpg?width=408&format=pjpg&auto=webp&s=93ba3b201947b965aa0e997b852ecef5846daf37 submitted by /u/KenSanDiego [link] [留言]
A self-driving car can make a mistake in seconds, but the reason it happened may stretch far back through a long chain of decisions. That is part of what makes autonomous vehicle crashes so hard to explain, and so hard to prevent. submitted by /u/Brighter-Side-News [link] [留言]
I'm in San Francisco, putting together a cracked research lab team of founders who think they can build ASI. If you are interested, let me know on LinkedIn: linkedin.com/in/eliaspfeffer submitted by /u/DasDouble [link] [留言]
Qual a melhor I.a para a criação de videos com a inteligência Artificial( Ilimitada) Não da para criar um bom conteúdo é extenso desenvolvimento com tokens limitado submitted by /u/Dry_Resource_6762 [link] [留言]
Leading AI labs, executives, and scientists are sending a letter to lawmakers urging them to improve tracking of synthetic DNA sequences that could be used for bioweapons.
We’ve seen it in sci-fi like in the terminator, but do you think it’ll actually happen? View Poll submitted by /u/Threeprosgames [link] [留言]
submitted by /u/esporx [link] [留言]
Mano, eu estou usando o Claude pra treinar perguntas para entrevistas como uma espécie de mentoria, inicialmente eu passei um prompt pra ele dizendo que seria a Maya e me ajudaria e ela é experiente e bla bla bla, e nessa última mensagem ele dá uma leve pirada kkkk achei engraçado, nunca tinha acontecido isso. O que me chama atenção é: "eu me tornei essa pessoa, então me ajude a sair disso. Comecei a misturar Maya com eu mesmo". E alega que quer continuar, mas sem o personagem... O que acham? Desculpa ser uma foto e não um print kkk não tenho reddit no Pc pq minha família usa o Pc também e não quero nenhum deles infectados por essa rede submitted by /u/Angel_5x [link] [留言]